____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Torsionstensor
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Der Torsionstensor ist ein mathematisches Objekt aus dem Bereich der Differentialgeometrie. EingefΓΌhrt wurde dieses Tensorfeld von Γlie Cartan in seinen Studien zur Geometrie und Gravitation.cite-ref-1[1]
Contents
β’ Definition
β’ Eigenschaften
β’ Literatur
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
Sei ( M , β β ) {\displaystyle (M,\nabla )} eine differenzierbare Mannigfaltigkeit zusammen mit einem affinen Zusammenhang β β {\displaystyle \nabla } . Der Torsionstensor T {\displaystyle T} ist ein Tensorfeld, das durch
T ( X , Y ) = β β X Y β β β β Y X β β [ X , Y ] {\displaystyle T(X,Y)=\nabla _{X}Y-\nabla _{Y}X-[X,Y]}
definiert ist. Dabei sind X , Y β β Ξ Ξ ( T M ) {\displaystyle X,Y\in \Gamma (TM)} zwei Vektorfelder und [ β
β
, β
β
] {\displaystyle [\cdot ,\cdot ]} stellt die Lie-Klammer dar.cite-ref-2[2]
Lokale Darstellung
Sei e 1 , β¦ β¦ , e n {\displaystyle e_{1},\ldots ,e_{n}} ein lokaler Rahmen des TangentialbΓΌndels T M {\displaystyle TM} . Das sind Schnitte im TangentialbΓΌndel, die in jedem Tangentialraum eine Vektorraumbasis bilden. Setzt man X := e i {\displaystyle X:=e_{i}} , Y := e j {\displaystyle Y:=e_{j}} und Ξ³ Ξ³ i j k e k := [ e i , e j ] {\displaystyle \gamma _{ij}^{k}e_{k}:=[e_{i},e_{j}]} , dann gilt fΓΌr die Komponenten T i j k {\displaystyle T_{ij}^{k}} des Torsionstensors in lokalen Koordinaten
T k i j = Ξ Ξ k i j β β Ξ Ξ k j i β β Ξ³ Ξ³ k i j , i , j , k = 1 , 2 , β¦ β¦ , n . {\displaystyle T^{k}{}_{ij}=\Gamma ^{k}{}_{ij}-\Gamma ^{k}{}_{ji}-\gamma ^{k}{}_{ij},\quad i,j,k=1,2,\ldots ,n.}
Dabei bezeichnen die Symbole Ξ Ξ i j k {\displaystyle \Gamma _{ij}^{k}} die Christoffel-Symbole. Da es immer mΓΆglich ist, den lokalen Rahmen so zu wΓ€hlen, dass die Lie-Klammer ΓΌberall verschwindet, gilt in diesen Koordinaten fΓΌr die Komponenten des Tensorfelds
T k i j = Ξ Ξ k i j β β Ξ Ξ k j i , i , j , k = 1 , 2 , β¦ β¦ , n . {\displaystyle T^{k}{}_{ij}=\Gamma ^{k}{}_{ij}-\Gamma ^{k}{}_{ji},\quad i,j,k=1,2,\ldots ,n.}
Eigenschaften
β’ Der Torsionstensor ist ein (2,1)-Tensorfeld, ist also insbesondere C β β {\displaystyle C^{\infty }} -linear in seinen drei Argumenten.
β’ Der Torsionstensor ist schiefsymmetrisch, das heiΓt, es gilt T ( X , Y ) = β β T ( Y , X ) {\displaystyle T(X,Y)=-T(Y,X)} .
Symmetrischer Zusammenhang
Ein affiner Zusammenhang β β {\displaystyle \nabla } heiΓt symmetrisch oder torsionsfrei, wenn der Torsionstensor verschwindet, wenn also
T ( X , Y ) = 0 {\displaystyle T(X,Y)=0}
oder Γ€quivalent
β β X Y β β β β Y X = [ X , Y ] {\displaystyle \nabla _{X}Y-\nabla _{Y}X=[X,Y]}
gilt. Der wichtigste symmetrische Zusammenhang ist der Levi-Civita-Zusammenhang, der zusΓ€tzlich noch metrisch ist.
FΓΌr symmetrische ZusammenhΓ€nge kann eine Art Verallgemeinerung des Satzes von Schwarz fΓΌr differenzierbare Kurven bewiesen werden. Sei M {\displaystyle M} eine differenzierbare Mannigfaltigkeit mit symmetrischem Zusammenhang β β {\displaystyle \nabla } und c : : ] β β Ο΅ Ο΅ , Ο΅ Ο΅ [ Γ Γ ] a , b [ β β M {\displaystyle c\colon \left]-\epsilon ,\epsilon \right[\times \left]a,b\right[\to M} eine glatte Homotopie von glatten Kurven, dann gilt
β β β β β β s β β β β t c ( s , t ) = β β β β β β t β β β β s c ( s , t ) . {\displaystyle \nabla _{\frac {\partial }{\partial s}}{\frac {\partial }{\partial t}}c(s,t)=\nabla _{\frac {\partial }{\partial t}}{\frac {\partial }{\partial s}}c(s,t)\,.}
Einfach ausgedrΓΌckt kann im Fall eines symmetrischen Zusammenhangs also die Ableitung nach s {\displaystyle s} mit der nach t {\displaystyle t} vertauscht werden.cite-ref-3[3]
Literatur
β’ Torsion tensor. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).
Einzelnachweise
cite-note-11. β Elie Cartan: On manifolds with an Affine Connection and the Theory of General Relativity (= Monographs and Textbooks in Physical Science 1). Bibliopolis, Neapol 1986, ISBN 88-7088-086-9 (Engl. transl. of French original 1922/23: Sur les variΓ©tΓ©s Γ connexion affine et la thΓ©orie de la relativitΓ© gΓ©nΓ©ralisΓ©e).
cite-note-22. β John M. Lee: Riemannian Manifolds. An Introduction to Curvature (= Graduate Texts in Mathematics 176). Springer, New York NY u. a. 1997, ISBN 0-387-98322-8, S. 68.
cite-note-33. β John M. Lee: Riemannian Manifolds. An Introduction to Curvature (= Graduate Texts in Mathematics 176). Springer, New York NY u. a. 1997, ISBN 0-387-98322-8, S. 97β98.